مطالعه ی ساختارهای جبری با ابزارهای منطقی

پایان نامه
  • وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده ریاضی
  • نویسنده فرزاد علمی
  • استاد راهنما رشید زارع نهندی
  • تعداد صفحات: ۱۵ صفحه ی اول
  • سال انتشار 1389
چکیده

چکیده هدف این پایان نامه مطالعه ی روش هایی برای توصیف متناهی گروه هاست به طوری که آن گروه با این توصیف در حد ایزومورفیسم به صورت یکتا مشخص گردد. به طور مشخص دو روش برای چنین توصیفی از گروه دلخواهی چونg به دست داده شده است. الف- گروهی دلخواه چونg ، قابل نمایش به وسیله ی یک اتوماتون متنناهی است اگروفقط اگر اعضای آن را بتوان به وسیله ی دنباله هایی روی یک الفبای متناهی نمایش داد به طوری که مجموعه ی دنباله های نمایشی از اعضای گروه و به خصوص رابطه ی تساوی بین آنها را بتوان با یک اتوماتون متناهی آزمود و به علاوه عمل گروه نیز به ازای هر دو عضو از آن قابل تشخیص با این اتوماتون باشد. ب- یک گروه نامتناهی با تولید متناهی شبه متناهیا اصل پذیر است اگر وفقط اگر با دانستن نامتناهی بودن و متناهی التولید بودن آن، جمله ی درجه اولی در زبان آن گروه چنان موجود باشد که آن را با تقریب یک ریختی به صورت یکتا توصیف کند. در پایان نامه سعی شده است، ابتدا شرح مختصری از اتوماتون های متناهی برای نیل به قضایا و تعاریف روش اول و مفاهیم منطقی برای نیل به قضایا و تعاریف روش دوم ارائه شود. محدودیت ها و پیچیدگی این دو روش نیز تا حدودی بررسی شده است. منبع اصلی این پایان نامه مقاله ی زیر می باشد: andré nies, describing groups, the bulletin of symbolic logic, volume 13, number 3, sept. 2007, 305 ? 339.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

مباحثی در (ابر)ساختارهای جبری منطقی ((ابر) mv-جبرها، bl-جبرها و ابرمشبکه ها)

در این رساله، با در نظر گرفتن مفهوم جبرهای منطقی، به مطالعه ی آن ها می پردازیم. در فصل سوم، با در نظر گرفتن مفهوم مشبکه های مانده ای و bl-جبرها، ارتباطی میان تعدادی از مهم ترین قضیه های جبرجابجایی و نظریه ی bl-جبرها برقرار می کنیم. قضیه های باقی مانده ی چینی، بالا رفتن و رو قرار داشتن را اثبات می کنیم و نوع خاصی از موضعی سازی را، که به آن شبه موضعی سازی می گوییم، بر روی bl-جبرها معرفی و مطالعه ...

15 صفحه اول

مطالعه ساختار گراف های وابسته به ساختارهای جبری

‏مرتبط‎‎ کردن مفاهیم موجود بین شاخه های مختلف ریاضیات یکی از روش های کارآمد برای بررسی کردن آن مفاهیم می‏ باشد. نسبت دادن شی ترکیبیاتی به شی جبری دارای دیرینه‏ای نسبتا طولانی می باشد. یکی از قدیمی ترین این تناظرها نسبت دادن گراف کیلی به گروه می باشد که توسط آرتور کیلی‎انجام گرفت و نتایج خیره کننده ای از این تناظر بدست آمد. اولین ارتباط بین حلقه ها و گراف ها توسط بک برقرار شد. بک به حلقه جابه جا...

15 صفحه اول

ارتباط درماتیت تماسی تحریکی دست با اختلال وسواسی جبری در زنان: مطالعه ی مورد ـ شاهدی

زمینه و هدف: درماتیت تماسی تحریکی دست ها، بیماری پوستی مزمن و عودکننده ی متعاقب تماس با مواد شیمیایی و پاک کننده ها می باشد. اختلال وسواسی جبری در بین بیماران پوست شیوع بالایی دارد و ممکن است با علایم درماتیت تحریکی دست ها مراجعه کنند. هدف از این مطالعه، تعیین فراوانی و ارتباط اختلال وسواسی جبری با درماتیت تماسی تحریکی دست ها در زنان مراجعه کننده به درمانگاه پوست حاجی دایی کرمانشاه است.روش کار:...

متن کامل

شناسایی پذیری ساختارهای جبری با استفاده از گراف ناجابجایی

هدف از این رساله بررسی سه موضوع میباشد. نخست مساله وجود یا عدم وجود گرافهای ناجابجایی با ویژگیهای خاص مورد بررسی قرار خواهد گرفت. دوم نشان میدهیم که بعضی از گروههای سیمپلکتیک و همچنین بعضی از گروههای خطی خاص تصویری توسط گراف ناجابجایی شناسایی پذیرند. سوم به شناسایی گروههایی پرداخته شده است که گراف ناجابجایی آنها یک گراف شکافته شده است.

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده ریاضی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023